type Concat<T extends any[], K extends any[]> = [...T, ...K];

// infer 和 spread操作符
